Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
WeiterlesenConstitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...
WeiterlesenIn this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
WeiterlesenYou’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
WeiterlesenPart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
WeiterlesenThis comprehensive examination of the main approaches to object-oriented language explains the key features of the languages ...
WeiterlesenObject-Oriented Programming and Java presents two important topics in contemporary software development: object-oriented ...
WeiterlesenThis paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
WeiterlesenThe aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
WeiterlesenThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
WeiterlesenConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
WeiterlesenThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
WeiterlesenThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Weiterlesen